Formal antiderivative